Boolean analysis - PDFSEARCH.IO - Document Search Engine

Boolean analysis
Results: 158

#	Item
131	Generalised matching Raphael Clifford1 , Aram W. Harrow2 , Alexandru Popa1 , and Benjamin Sach1 1 Department of Computer Science, University of Bristol,UK Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:18 NP-complete problems Analysis of algorithms Time complexity Pattern matching NP Matching Boolean satisfiability problem Theoretical computer science Computational complexity theory Applied mathematics
132	Compressing Large Boolean Matrices using Reordering Techniques Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:06 Operations research NP-complete problems Travelling salesman problem Machine learning Cluster analysis Algorithm Selection algorithm Sampling Consensus clustering Statistics Mathematics Applied mathematics
133	R Foundations and Trends in Machine Learning Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-10-07 09:14:41 Convex optimization Submodular set function Ellipsoid method Linear programming Pseudo-Boolean function Subgradient method Optimization problem Convex analysis Combinatorial optimization Mathematical optimization Mathematical analysis Operations research
134	A Sufficient Completeness Reasoning Tool for Partial Specifications Technical Report (Draft) Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:15:04 Boolean algebra Measure theory Probability theory Sigma-algebra Parity of a permutation Model theory Admissible rule Unification Laplace transform Mathematics Mathematical analysis Mathematical logic
135	165 A Suﬃcient Completeness Reasoning Tool Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:14:48 Measure theory Probability theory Sigma-algebra Parity of a permutation Model theory Completeness Elementary class Mathematics Mathematical analysis Boolean algebra
136	Unification of Linear Program and Decision Analysis Game Theory for Business Add to Reading List Source URL: home.ubalt.edu Language: English - Date: 2013-11-16 09:00:09 Mathematics PROPT Theoretical computer science Trade study X3 Numerical software Boolean algebra
137	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-03-13 14:27:12 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
138	[removed]BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:47:40 Boolean algebra Functional analysis Ring Solomon Lefschetz Ralph Fox Leroy P. Steele Prize Alexandra Bellow Algebraic structures Mathematics Structure
139	Tool-Support for the Analysis of Hybrid Systems and Models Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2007-03-14 18:49:09 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
140	Approximating Markov Processes By Averaging PHILIPPE CHAPUT McGill University Add to Reading List Source URL: www.cs.mcgill.ca Language: English - Date: 2013-10-14 22:15:34 Banach spaces Boolean algebra Sigma-algebra Radon–Nikodym theorem Markov chain Lp space Conditional expectation Measure Support Mathematical analysis Measure theory Probability theory

UPDATE